Hatcliff, J.: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A Software Certification Consortium and its Top 9 Hurdles

John Hatcliff, Mats Heimdahl, Mark Lawford, Tom Maibaum, Alan Wassyng, Fred Wurden

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 181 KB

english, 2009

2

CPS Translations and Applications: The Cube and Beyond

Gilles Barthe, John Hatcliff, Morten Heine B. Sørensen

Journal:

Higher-Order and Symbolic Computation

Year:

1999

Language:

english

File:

PDF, 284 KB

english, 1999

3

[IEEE Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Paphos, Cyprus (2006.11.15-2006.11.19)] Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006) - Kiasan: A Verification and Test-Case Generation Framework for Java Based on Symbolic Execution

Deng, Xianghua, Robby,, Hatcliff, John

Year:

2006

Language:

english

File:

PDF, 223 KB

english, 2006

4

A new foundation for control dependence and slicing for modern program structures

Ranganath, Venkatesh Prasad, Amtoft, Torben, Banerjee, Anindya, Hatcliff, John, Dwyer, Matthew B.

Journal:

ACM Transactions on Programming Languages and Systems

Year:

2007

Language:

english

File:

PDF, 598 KB

english, 2007

5

Bogor

Robby,, Dwyer, Matthew B., Hatcliff, John

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2003

Language:

english

File:

PDF, 250 KB

english, 2003

6

[IEEE 2018 IEEE Symposium on Product Compliance Engineering (ISPCE) - San Jose, CA, USA (2018.5.14-2018.5.16)] 2018 IEEE Symposium on Product Compliance Engineering (ISPCE) - Challenges of distributed risk management for medical application platforms

Hatcliff, John, Vasserman, Eugene Y., Carpenter, Todd, Whillock, Rand

Year:

2018

Language:

english

File:

PDF, 1.39 MB

english, 2018

7

A Reference Architecture for Secure Medical Devices

Harp, Steven, Carpenter, Todd, Hatcliff, John

Journal:

Biomedical Instrumentation & Technology

Year:

2018

Language:

english

File:

PDF, 1.08 MB

english, 2018

8

TACAS 2003 Special Issue—Preface

Hubert Garavel, John Hatcliff

Journal:

Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 123 KB

english, 2006

9

An induction principle for pure type systems

Gilles Barthe, John Hatcliff, Morten Heine B. Sørensen

Journal:

Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 272 KB

english, 2001

10

Weak normalization implies strong normalization in a class of non-dependent pure type systems

Gilles Barthe, John Hatcliff, Morten Heine Sørensen

Journal:

Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 297 KB

english, 2001

11

Space-Reduction Strategies for Model Checking Dynamic Software

Robby, Matthew B. Dwyer, John Hatcliff, Radu Iosif

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 277 KB

english, 2003

12

A Notion of Classical Pure Type System (Preliminary version)

Gilles Barthe, John Hatcliff, Morten Heine Sørensen

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1997

Language:

english

File:

PDF, 3.18 MB

english, 1997

13

Monadic Type Systems: Pure Type Systems for Impure Settings (Preliminary Report)

Gilles Barthe, John Hatcliff, Peter Thiemann

Journal:

Electronic Notes in Theoretical Computer Science

Year:

1998

Language:

english

File:

PDF, 3.30 MB

english, 1998

14

Why you should definitely read this special section

Hubert Garavel, John Hatcliff

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2006

Language:

english

File:

PDF, 233 KB

english, 2006

15

Checking JML specifications using an extensible software model checking framework

Robby, Edwin Rodríguez, Matthew B. Dwyer, John Hatcliff

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2006

Language:

english

File:

PDF, 2.84 MB

english, 2006

16

A correlation framework for the CORBA component model

Georg Jung, John Hatcliff

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2007

Language:

english

File:

PDF, 582 KB

english, 2007

17

Slicing concurrent Java programs using Indus and Kaveri

Venkatesh Prasad Ranganath, John Hatcliff

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2007

Language:

english

File:

PDF, 819 KB

english, 2007

18

Expressing checkable properties of dynamic systems: the Bandera Specification Language

James C. Corbett, Matthew B. Dwyer, John Hatcliff, Robby

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2002

Language:

english

File:

PDF, 360 KB

english, 2002

19

Translating Java for Multiple Model Checkers: The Bandera Back-End

Radu Iosif, Matthew B. Dwyer, John Hatcliff

Journal:

Formal Methods in System Design

Year:

2005

Language:

english

File:

PDF, 4.42 MB

english, 2005

20

A type-centric framework for specifying heterogeneous, large-scale, component-oriented, architectures

Georg Jung, John Hatcliff

Journal:

Science of Computer Programming

Year:

2010

Language:

english

File:

PDF, 3.23 MB

english, 2010

21

Exploiting Object Escape and Locking Information in Partial-Order Reductions for Concurrent Object-Oriented Programs

Matthew B. Dwyer, John Hatcliff, Robby, Venkatesh Prasad Ranganath

Journal:

Formal Methods in System Design

Year:

2004

Language:

english

File:

PDF, 324 KB

english, 2004

22

[IEEE Future of Software Engineering - Minneapolis, MN, USA (2007.05.23-2007.05.25)] Future of Software Engineering (FOSE '07) -

Dwyer, Matthew B., Hatcliff, John, Robby, Robby, Pasareanu, Corina S., Visser, Willem

Year:

2007

Language:

english

File:

PDF, 381 KB

english, 2007

23

Challenges and Research Directions in Medical Cyber–Physical Systems

Insup Lee, Sokolsky, O., Sanjian Chen, Hatcliff, J., Eunkyoung Jee, BaekGyu Kim, King, A., Mullen-Fortino, M., Soojin Park, Roederer, A., Venkatasubramanian, K.K.

Journal:

Proceedings of the IEEE

Year:

2012

Language:

english

File:

PDF, 848 KB

english, 2012

24

High-confidence medical device software and systems

Lee, I., Pappas, G.J., Cleaveland, R., Hatcliff, J., Krogh, B.H., Lee, P., Rubin, H., Sha, L.

Journal:

Year:

2006

Language:

english

File:

PDF, 200 KB

english, 2006

25

CALM and Cadena: metamodeling for component-based product-line development

Childs, A., Greenwald, J., Jung, G., Hoosier, M., Hatcliff, J.

Journal:

Year:

2006

Language:

english

File:

PDF, 3.91 MB

english, 2006

26

[Lecture Notes in Computer Science] Partial Evaluation Volume 1706 || Type-Directed Partial Evaluation

Hatcliff, John, Mogensen, Torben Æ, Thiemann, Peter

Year:

1999

Language:

english

File:

PDF, 1.74 MB

english, 1999

27

[Lecture Notes in Computer Science] Formal Techniques for Distributed Systems Volume 6117 || Formal Semantics and Analysis of Behavioral AADL Models in Real-Time Maude

Hatcliff, John, Zucca, Elena

Year:

2010

Language:

english

File:

PDF, 217 KB

english, 2010

28

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 2619 || State Class Constructions for Branching Analysis of Time Petri Nets

Garavel, Hubert, Hatcliff, John

Year:

2003

Language:

english

File:

PDF, 772 KB

english, 2003

29

[Lecture Notes in Computer Science] Formal Techniques for Distributed Systems Volume 6117 || Fuzzy-Timed Automata

Hatcliff, John, Zucca, Elena

Year:

2010

Language:

english

File:

PDF, 277 KB

english, 2010

30

[Lecture Notes in Computer Science] Formal Techniques for Distributed Systems Volume 6117 || On-the-Fly Trace Generation and Textual Trace Analysis and Their Applications to the Analysis of Cryptographic Protocols

Hatcliff, John, Zucca, Elena

Year:

2010

Language:

english

File:

PDF, 234 KB

english, 2010

31

[ACM International Conference on Software Engineering - Limerick, Ireland (4-11 June 2000)] Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium - Bandera: extracting finite-state models from Java source code

Corbett, J.C., Dwyer, M.B., Hatcliff, J., Laubach, S., Pasareanu, C.S., Robby,, Hongjun Zheng,

Year:

2000

Language:

english

File:

PDF, 1.32 MB

english, 2000

32

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 2619 || The Integrated CWB-NC/PIOATool for Functional Verification and Performance Analysis of Concurrent Systems

Garavel, Hubert, Hatcliff, John

Year:

2003

Language:

english

File:

PDF, 349 KB

english, 2003

33

[IEEE Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007) - Windsor, UK (2007.09.10-2007.09.14)] Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007) - Kiasan/KUnit: Automatic Test Case Generation and Analysis Feedback for Open Object-oriented Systems

Deng, Xianghua, Robby,, Hatcliff, John

Year:

2007

Language:

english

File:

PDF, 442 KB

english, 2007

34

[IEEE 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems (ICCPS) - Beijing, China (2012.04.17-2012.04.19)] 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems - Rationale and Architecture Principles for Medical Application Platforms

Hatcliff, John, King, Andrew, Lee, Insup, Macdonald, Alasdair, Fernando, Anura, Robkin, Michael, Vasserman, Eugene, Weininger, Sandy, Goldman, Julian M.

Year:

2012

Language:

english

File:

PDF, 579 KB

english, 2012

35

[IEEE Comput. Soc 23rd International Conference on Software Engineering. ICSE 2001 - Toronto, Ont., Canada (12-19 May 2001)] Proceedings of the 23rd International Conference on Software Engineering. ICSE 2001 - Tool-supported program abstraction for finite-state verification

Dwyer, M.B., Hatcliff, J., Joehanes, R., Laubach, S., Pasreanu, C.S., Zheng, R.H., Visser, W.

Year:

2001

Language:

english

File:

PDF, 1.12 MB

english, 2001

36

[IEEE 2006 Sixth IEEE International Workshop on Source Code Analysis and Manipulation - Philadelphia, PA, USA (2006.9.27-2006.9.27)] 2006 Sixth IEEE International Workshop on Source Code Analysis and Manipulation - An Overview of the Indus Framework for Analysis and Slicing of Concurrent Java Software (Keynote Talk - Extended Abstract)

Ranganath, Venkatesh, Hatcliff, John

Year:

2006

Language:

english

File:

PDF, 101 KB

english, 2006

37

[IEEE Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) - London, UK (2007.09.10-2007.09.14)] Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007) - Towards A Case-Optimal Symbolic Execution Algorithm for Analyzing Strong Properties of Object-Oriented Programs

Deng, Xianghua, Robby,, Hatcliff, John

Year:

2007

Language:

english

File:

PDF, 424 KB

english, 2007

38

[IEEE Testing: Academic & Industrial Conference - Practice And Research Techniques (TAIC PART'06) - Windsor, UK (29-31 Aug. 2006)] Testing: Academic & Industrial Conference - Practice And Research Techniques (TAIC PART'06) - Bogor: A Flexible Framework for Creating Software Model Checkers

Dwyer, M.B., Hatcliff, J.

Year:

2006

Language:

english

File:

PDF, 1.18 MB

english, 2006

39

[ACM Press the - Hyderabad, India (2014.05.31-2014.06.07)] Proceedings of the on Future of Software Engineering - FOSE 2014 - Certifiably safe software-dependent systems: challenges and directions

Hatcliff, John, Wassyng, Alan, Kelly, Tim, Comar, Cyrille, Jones, Paul

Year:

2014

Language:

english

File:

PDF, 501 KB

english, 2014

40

[IEEE 2013 35th International Conference on Software Engineering (ICSE) - San Francisco, CA, USA (2013.05.18-2013.05.26)] 2013 35th International Conference on Software Engineering (ICSE) - Explicating symbolic execution (xSymExe): An evidence-based verification framework

Hatcliff, John, Robby,, Chalin, Patrice, Belt, Jason

Year:

2013

Language:

english

File:

PDF, 328 KB

english, 2013

41

[ACM International Conference on Software Engineering - Limerick, Ireland (4-11 June 2000)] Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium - Bandera: a source-level interface for model checking Java programs

Corbett, J.C., Dwyer, M.B., Hatcliff, J.

Year:

2000

Language:

english

File:

PDF, 752 KB

english, 2000

42

[IEEE 25th International Conference on Software Engineering, 2003. Proceedings. - Portland, OR, USA (2003.05.10-2003.05.10)] 25th International Conference on Software Engineering, 2003. Proceedings. - Cadena: an integrated development, analysis, and verification environment for component-based systems

Hatcliff, J., Xinghua Deng,, Dwyer, M.B., Jung, G., Ranganath, V.P.

Year:

2003

Language:

english

File:

PDF, 350 KB

english, 2003

43

[IEEE 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06) - Tokyo (2006.09.18-2006.09.22)] 21st IEEE/ACM International Conference on Automated Software Engineering (ASE'06) - Domain-specific Model Checking Using The Bogor Framework

Robby,, Dwyer, Matthew, Hatcliff, John

Year:

2006

Language:

english

File:

PDF, 91 KB

english, 2006

44

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 2619 || Static Guard Analysis in Timed Automata Verification

Garavel, Hubert, Hatcliff, John

Year:

2003

Language:

english

File:

PDF, 837 KB

english, 2003

45

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 2619 ||

Garavel, Hubert, Hatcliff, John

Year:

2003

Language:

english

File:

PDF, 6.79 MB

english, 2003

46

[IEEE 2009 31st International Conference on Software Engineering - Companion Volume - Vancouver, BC, Canada (2009.05.16-2009.05.24)] 2009 31st International Conference on Software Engineering - Companion Volume - An open test bed for medical device integration and coordination

King, Andrew, Procter, Sam, Andresen, Dan, Hatcliff, John, Warren, Steve, Spees, William, Jetley, Raoul, Jones, Paul, Weininger, Sandy

Year:

2009

Language:

english

File:

PDF, 1.08 MB

english, 2009

47

[IEEE 2009 31st International Conference on Software Engineering - Companion Volume - Vancouver, BC, Canada (2009.05.16-2009.05.24)] 2009 31st International Conference on Software Engineering - Companion Volume - Demonstration of a medical device integration and coordination framework

King, Andrew, Procter, Sam, Andresen, Dan, Hatcliff, John, Warren, Steve, Spees, William, Jetley, Raoul, Jones, Paul, Weininger, Sandy

Year:

2009

Language:

english

File:

PDF, 102 KB

english, 2009

48

[Lecture Notes in Computer Science] Tools and Algorithms for the Construction and Analysis of Systems Volume 2619 || √erics: A Tool for Verifying Timed Automata and Estelle Specifications

Garavel, Hubert, Hatcliff, John

Year:

2003

Language:

english

File:

PDF, 624 KB

english, 2003

49

[IEEE 2012 4th International Workshop on Software Engineering in Health Care (SEHC) - Zurich, Switzerland (2012.06.4-2012.06.5)] 2012 4th International Workshop on Software Engineering in Health Care (SEHC) - Requirements specification for apps in medical application platforms

Larson, Brian, Hatcliff, John, Procter, Sam, Chalin, Patrice

Year:

2012

Language:

english

File:

PDF, 513 KB

english, 2012

50

[IEEE 2013 5th International Workshop on Software Engineering in Health Care (SEHC) - San Francisco, CA, USA (2013.05.20-2013.05.21)] 2013 5th International Workshop on Software Engineering in Health Care (SEHC) - Open source Patient-Controlled Analgesic pump requirements documentation

Larson, Brian R., Hatcliff, John, Chalin, Patrice

Year:

2013

Language:

english

File:

PDF, 654 KB

english, 2013

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски